On the Expressiveness of Monadic Higher Order Safe Ambient Calculus
نویسنده
چکیده
In this paper, we propose a monadic higher order safe ambient calculus. The expressiveness of this calculus is studied. We showed that polyadic higher order safe ambient calculus, first order safe ambient calculus with capability-passing, first order safe ambient calculus with name-passing, and polyadic π-calculus can all be encoded in monadic higher order ambient calculus. At last, we show that synchronous monadic higher order ambient calculus can be encoded in asynchronous monadic higher order ambient
منابع مشابه
Relating Levels of the Mu-Calculus Hierarchy and Levels of the Monadic Hierarchy
As already known [14], the mu-calculus [17] is as expressive as the bisimulation invariant fragment of monadic second order Logic (MSO). In this paper, we relate the expressiveness of levels of the fixpoint alternation depth hierarchy of the mu-calculus (the mu-calculus hierarchy) with the expressiveness of the bisimulation invariant fragment of levels of the monadic quantifiers alternation-dep...
متن کاملOn the Expressiveness of Polyadicity in Higher-Order Process Calculi (Extended Abstract)
In higher-order process calculi the values exchanged in communications may contain processes. We describe a study of the expressive power of strictly higher-order process calculi, i.e. calculi in which only process passing is allowed and no name-passing is present. In this setting, the polyadicity (i.e. the number of parameters) allowed in communications is shown to induce a hierarchy of calcul...
متن کاملCommunication Interference in Mobile Boxed Ambients
Boxed Ambients (BA) replace Mobile Ambients’open capability with communication primitives acting across ambient boundaries. Expressiveness is achieved at the price of communication interferences on message reception whose resolution requires synchronisation of activities at multiple, distributed locations. We study a variant of BA aimed at controlling communication interferences aswell as mobil...
متن کاملExpressiveness of the modal mu-calculus on monotone neighborhood structures
We characterize the expressive power of the modal μ-calculus on monotone neighborhood structures, in the style of the Janin-Walukiewicz theorem for the standard modal μ-calculus. For this purpose we consider a monadic second-order logic for monotone neighborhood structures. Our main result shows that the monotone modal μ-calculus corresponds exactly to the fragment of this second-order language...
متن کاملMaking Ambients More Robust
Mobile Safe Ambients (SA) was proposed in order to remove the grave interference in the Mobile Ambient calculus. But the coactions introduced in SA also bring some security breaches. In this paper, a similar calculus called Robust Ambients (ROAM) was proposed as a more rational substitute for SA. Through specifying the parameters of the coactions, the ambients in ROAM are more robust against ma...
متن کامل